Modelling simultaneous games in dynamic logic
نویسندگان
چکیده
منابع مشابه
Modelling Simultaneous Games in Dynamic Logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quanti...
متن کاملModelling Simultaneous Games with Concurrent Dynamic Logic
We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quanti...
متن کاملGames in Dynamic-Epistemic Logic
M = (S, {Ra |a∈A}, V) where S is a set of states, the Ra are binary relations encoding the possible transitions for action or move a , while V is a valuation function for proposition letters denoting local properties of states. In particular, special letters 'turn' and 'win' indicate which player is to move, or who wins. (Other proposition letters may indicate values of states to players.) Thes...
متن کاملDynamic Logic on Games with Structured Strategies
We consider a propositional dynamic logic whose programs are regular expressions over game strategy pairs. At the atomic level, these are finite extensive form game trees with structured strategy specifications, whereby a player’s strategy may depend on properties of the opponent’s strategy. The advantage of imposing structure not merely on games or on strategies but on game strategy pairs, is ...
متن کاملDynamic system of strategic games
Maybe an event can't be modeled completely through one game but there is more chance with several games. With emphasis on players' rationality, we present new properties of strategic games, which result in production of other games. Here, a new attitude to modeling will be presented in game theory as dynamic system of strategic games and its some applications such as analysis of the clash betwe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2008
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-008-9390-y